quantifiers in discrete mathematics examples